On the r-mode spectrum of relativistic stars

We present a mathematically rigorous proof that the r-mode spectrum of relativistic stars to the rotational lowest order has a continuous part. A rigorous definition of this spectrum is given in terms of the spectrum of a continuous linear operator. This study verifies earlier results by Kojima (1998) about the nature of the r-mode spectrum.Comment: 6 pages, no figure

The JKind Model Checker

JKind is an open-source industrial model checker developed by Rockwell Collins and the University of Minnesota. JKind uses multiple parallel engines to prove or falsify safety properties of infinite state models. It is portable, easy to install, performance competitive with other state-of-the-art model checkers, and has features designed to improve the results presented to users: inductive validity cores for proofs and counterexample smoothing for test-case generation. It serves as the back-end for various industrial applications.Comment: CAV 201

Galileo early cruise, including Venus, first Earth, and Gaspra encounters

This article documents Deep Space Network (DSN) support for the Galileo cruise to Jupiter. The unique trajectory affords multiple encounters during this cruise phase. Each encounter had or will have unique requirements for data acquisition and DSN support configurations. An overview of the cruise and encounters through the asteroid Gaspra encounter is provided

Investigation of nonlinear absorption processes with femtosecond light pulses in lithium niobate crystals

The propagation of high-power femtosecond light pulses in lithium niobate crystals (LiNbO3) is investigated experimentally and theoretically in collinear pump-probe transmission experiments. It is found within a wide intensity range that a strong decrease of the pump transmission coefficient at wavelength 388 nm fully complies with the model of two-photon absorption; the corresponding nonlinear absorption coefficient is betap~=3.5 cm/GW. Furthermore, strong pump pulses induce a considerable absorption for the probe at 776 nm. The dependence of the probe transmission coefficient on the time delay Deltat between probe and pump pulses is characterized by a narrow dip (at Deltat~=0) and a long (on the picosecond time scale) lasting plateau. The dip is due to direct two-photon transitions involving pump and probe photons; the corresponding nonlinear absorption coefficient is betar~=0.9 cm/GW. The plateau absorption is caused by the presence of pump-excited charge carriers; the effective absorption cross section at 776 nm is sigmar~=8×10^–18 cm^2. The above nonlinear absorption parameters are not strongly polarization sensitive. No specific manifestations of the relaxation of hot carriers are found for a pulse duration of ~=0.24 ps

Femtosecond time-resolved absorption processes in lithium niobate crystals

emtosecond pump pulses are strongly attenuated in lithium niobate owing to two-photon absorption; the relevant nonlinear coefficient beta_p ranges from ~3.5 cm/GW for lambda_p = 388 nm to ~0.1 cm/GW for 514 nm. In collinear pump-probe experiments the probe transmission at the double pump wavelength 2lambda_p=776 nm is controlled by two different processes: A direct absorption process involving pump and probe photons (beta_r ~ or = 0.9 cm/GW) leads to a pronounced short-duration transmission dip, whereas the probe absorption by pump-excited charge carriers results in a long-duration plateau. Coherent pump-probe interactions are of no importance. Hot-carrier relaxation occurs on the time scale of < or ~0.1 ps

Investigations of solutions of Einstein's field equations close to lambda-Taub-NUT

We present investigations of a class of solutions of Einstein's field equations close to the family of lambda-Taub-NUT spacetimes. The studies are done using a numerical code introduced by the author elsewhere. One of the main technical complication is due to the S3-topology of the Cauchy surfaces. Complementing these numerical results with heuristic arguments, we are able to yield some first insights into the strong cosmic censorship issue and the conjectures by Belinskii, Khalatnikov, and Lifschitz in this class of spacetimes. In particular, the current investigations suggest that strong cosmic censorship holds in this class. We further identify open issues in our current approach and point to future research projects.Comment: 24 pages, 12 figures, uses psfrag and hyperref; replaced with published version, only minor corrections of typos and reference

Macroscopic coherence effects in a mesoscopic system: Weak localization of thin silver films in an undergraduate lab

We present an undergraduate lab that investigates weak localization in thin silver films. The films prepared in our lab have thickness, $a$, between 60-200 \AA, a mesoscopic length scale. At low temperatures, the inelastic dephasing length for electrons, $L_{\phi}$, exceeds the thickness of the film ($L_{\phi} \gg a$), and the films are then quasi-2D in nature. In this situation, theory predicts specific corrections to the Drude conductivity due to coherent interference between conducting electrons' wavefunctions, a macroscopically observable effect known as weak localization. This correction can be destroyed with the application of a magnetic field, and the resulting magnetoresistance curve provides information about electron transport in the film. This lab is suitable for Junior or Senior level students in an advanced undergraduate lab course.Comment: 16 pages, 9 figures. Replaces earlier version of paper rejected by Am. J. Phys. because of too much content on vacuum systems. New version deals with the undergraduate experiment on weak localization onl

Medium corrections in the formation of light charged particles in heavy ion reactions

Within a microscopic statistical description of heavy ion collisions, we investigate the effect of the medium on the formation of light clusters. The dominant medium effects are self-energy corrections and Pauli blocking that produce the Mott effect for composite particles and enhanced reaction rates in the collision integrals. Microscopic description of composites in the medium follows the Dyson equation approach combined with the cluster mean-field expansion. The resulting effective few-body problem is solved within a properly modified Alt-Grassberger-Sandhas formalism. The results are incorporated in a Boltzmann-Uehling-Uhlenbeck simulation for heavy ion collisions. The number and spectra of light charged particles emerging from a heavy ion collision changes in a significant manner in effect of the medium modification of production and absorption processes.Comment: 16 pages, 6 figure

Investigating the Physical Origin of Unconventional Low-Energy Excitations and Pseudogap Phenomena in Cuprate Superconductors

We investigate the physical origin of unconventional low-energy excitations in cuprate superconductors by considering the effect of coexisting competing orders (CO) and superconductivity (SC) and of quantum fluctuations and other bosonic modes on the low-energy charge excitation spectra. By incorporating both SC and CO in the bare Green's function and quantum phase fluctuations in the self-energy, we can consistently account for various empirical findings in both the hole- and electron-type cuprates, including the excess subgap quasiparticle density of states, ``dichotomy'' in the fluctuation-renormalized quasiparticle spectral density in momentum space, and the occurrence and magnitude of a low-energy pseudogap being dependent on the relative gap strength of CO and SC. Comparing these calculated results with experiments of ours and others, we suggest that there are two energy scales associated with the pseudogap phenomena, with the high-energy pseudogap probably of magnetic origin and the low-energy pseudogap associated with competing orders.Comment: 10 pages, 5 figures. Invited paper for the 2006 Taiwan International Conference on Superconductivity. Correspondence author: Nai-Chang Yeh (e-mail: [email protected]